s : (e as A) as A
s